Transfinite induction